Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Obfuscating Windows DLLs Bert Abrath, Bart Coppens, Stijn Volckaert, and Bjorn De Sutter Computer Systems Lab Department of Electronics and Information Systems Ghent University, Sint-Pietersnieuwstraat 41, 9000 Gent, Bel

Source URL: users.elis.ugent.be

Link-Time Compaction and Optimization of ARM Executables BJORN DE SUTTER, LUDO VAN PUT, DOMINIQUE CHANET, BRUNO DE BUS, and KOEN DE BOSSCHERE Ghent University The overhead in terms of code size, power consumption, and ex

Source URL: users.elis.ugent.be

Intermediary metabolism* Bart P. Braeckman, Koen Houthoofd, Jacques R. Vanfleteren§, Biology Department, Ghent University, K.L.Ledeganckstraat 35, B-9000 Ghent, Belgium Table of Contents

Source URL: www.wormbook.org

GHUMVEE: Efficient, Effective, and Flexible Replication Stijn Volckaert? , Bjorn De Sutter, Tim De Baets, and Koen De Bosschere Computer Systems Lab, Ghent University {stijn.volckaert, bjorn.desutter, koen.debosschere}@e

Source URL: users.elis.ugent.be

Protecting your software updates Bart Coppens Ghent University Sint-Pietersnieuwstraat 41 B-9000 Gent

Source URL: users.elis.ugent.be

1200 ADVERSE POSSESSION - TITLE SYSTEMS Boudewijn Bouckaert Center for Advanced Studies in Law and Economics Professor of Law, University of Ghent, Faculty of Law

Source URL: reference.findlaw.com

0 Feedback-Driven Binary Code Diversification Bart Coppens, Computer Systems Lab, Ghent University Bjorn De Sutter, Computer Systems Lab, Ghent University Jonas Maebe, Computer Systems Lab, Ghent University

Source URL: users.elis.ugent.be

Instruction Set Limitation in Support of Software Diversity Bjorn De Sutter! , Bertrand Anckaert, Jens Geiregat, Dominique Chanet, and Koen De Bosschere Ghent University, Electronics and Information Systems Department Si

Source URL: users.elis.ugent.be

Compiler Mitigations for Time Attacks on Modern x86 Processors JEROEN VAN CLEEMPUT, BART COPPENS, and BJORN DE SUTTER, Ghent University This paper studies and evaluates the extent to which automated compiler techniques c

Source URL: users.elis.ugent.be